class E
end


class F
inherit E
create { NONE }
     make2
create
     make3
feature 
    make
    do
    end
    make2
    do
    end
    make3
    do
    end
end

class B
end

class D
end

deferred class AF
feature
    make
    do
    end
end


class APP
create
    make
feature
    make
    do
    end
    INIT
    local   b : B;
            e : E
            af : AF
    do
        !!a.make()
        !B501!b.make()
        !!b.make()
        !D!b.make()
        !F!e.make()
        !F!e.make2()
        !F!e.make3()
        !!af.make
        !!current.make
        !!precursor.make
    end
end